DUGi: Llistar Títols | (dc.creator:"Ansótegui, Carlos" OR dc.contributor:"Ansótegui, Carlos" OR dc.contributor.other:"Ansótegui, Carlos") | 0 - 4

Warning: error_log(/dades/dugi/log//querys.log) [function.error-log]: failed to open stream: Read-only file system in /dades/dugi/lib/log/log.php on line 32
DUGi: Llistar Títols | (dc.creator:"Ansótegui, Carlos" OR dc.contributor:"Ansótegui, Carlos" OR dc.contributor.other:"Ansótegui, Carlos") | 0 - 4

Llistar Títols

S'han trobat 4 ítems

Llistant ítems des de 0 a 4:

1

Format	Data	Títol	Autor
Format	Data	Títol	Autor
		Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers	Ansótegui, Carlos ; Bofill Arasa, Miquel ; Manyà, Felip ; Villaret i Ausellé, Mateu
	1 juny 2016	Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers	Ansótegui, Carlos ; Bofill Arasa, Miquel ; Manyà, Felip ; Villaret i Ausellé, Mateu
		Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories	Ansótegui, Carlos ; Bofill Arasa, Miquel ; Palahí i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausellé, Mateu
	1 gener 2013	Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories	Ansótegui, Carlos ; Bofill Arasa, Miquel ; Palahí i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausellé, Mateu

1

Matèries

Warning: error_log(/dades/dugi/log//dugi.log) [function.error-log]: failed to open stream: Read-only file system in /dades/dugi/lib/log/log.php on line 32

CSP (Computer program language) Lògica matemàtica CSP (Llenguatge de programació) Constraint programming (Computer science) Teoremes -- Demostració automàtica Automatic theorem proving Computer algorithms

Autors

Warning: error_log(/dades/dugi/log//dugi.log) [function.error-log]: failed to open stream: Read-only file system in /dades/dugi/lib/log/log.php on line 32

Ansótegui, Carlos Bofill Arasa, Miquel Villaret i Ausellé, Mateu Generalitat de Catalunya. Agència de Gestió d’Ajuts Universitaris i de Recerca Manyà, Felip Ministerio de Educación y Ciencia (Espanya) Palahí i Sitges, Miquel

Warning: fopen(/dades/dugi/cache/2d96bce56eb4493db969709b220f5509_.html) [function.fopen]: failed to open stream: Read-only file system in /dades/dugi/end_cache.php on line 2

Warning: Unknown: write failed: No space left on device (28) in Unknown on line 0

Warning: Unknown: Failed to write session data (files). Please verify that the current setting of session.save_path is correct (/var/lib/php5) in Unknown on line 0